Real-time operating system

Results: 346



#Item
191System software / Computing / Embedded system / L4 microkernel family / Nucleus RTOS / MQX / Real-time operating systems / Embedded operating systems / Computer architecture

Cyber Security Verified Real-Time Operating System Did you know your life depends on software? The Problem

Add to Reading List

Source URL: www.nicta.com.au

Language: English - Date: 2015-02-02 19:16:09
192Real-time operating system / Veterinary physician / Personal life / Registered training organisation / Strategic management / Training package / Employability

Summary of participant views - VET Reform National Consultations – Hobart, 16 February[removed]Priorities for Future VET Reform Summary of feedback

Add to Reading List

Source URL: www.vetreform.industry.gov.au

Language: English - Date: 2015-02-27 01:53:34
193Real-time operating system / Australian Qualifications Framework / Employability / Oceania / Personal life / Registered training organisation / Education in Australia / Strategic management / Training package

Summary of participant views - VET Reform National Consultations – Hobart, 16 February 2015 Priorities for Future VET Reform Summary of feedback Industry responsiveness:  Need to clarify who industry is and to ensur

Add to Reading List

Source URL: vetreform.industry.gov.au

Language: English - Date: 2015-02-27 01:53:16
194Gernot Heiser / L4 microkernel family / Formal verification / Real-time operating systems / Kernel / Computer security / Integrity / Mach / Ring / Computer architecture / Trusted computing base / Microkernel

seL4 for Dependable Systems Software Developing dependable systems requires built-in security and safety at all levels of the system, including in the lowest-level system software: the operating system and device access

Add to Reading List

Source URL: sel4.systems

Language: English - Date: 2014-09-23 22:58:53
195Real-time operating systems / Programming language implementation / Nios II / Nios embedded processor / MicroC/OS-II / Altera / Sopc builder / Embedded system / GNU Compiler Collection / Software / Computing / Embedded operating systems

Nios II Software Developer’s Handbook

Add to Reading List

Source URL: www.marichiba.com

Language: English - Date: 2012-02-01 13:06:04
196Finance / Real Time Gross Settlement / Clearing House Automated Transfer System / Securities / Foreign exchange market / Hong Kong Monetary Authority / Bank of China / Continuous linked settlement / Hong Kong dollar / Payment systems / Money / Currency

Market Infrastructure Market Infrastructure To promote Hong Kong as an international financial centre, the operating hours of the RTGS systems and the CMU were

Add to Reading List

Source URL: www.hkma.gov.hk

Language: English - Date: 2011-08-10 07:53:06
197Apprenticeship / Education / Embedded operating systems / Real-time operating system

INDUSTRY ADVICE – STATUS REPORT

Add to Reading List

Source URL: www.skills.tas.gov.au

Language: English - Date: 2014-07-02 02:43:16
198Real-time operating systems / Computing platforms / Embedded operating systems / L4 microkernel family / Microkernel / Monolithic kernels / Gernot Heiser / Kernel / Mach / Computer architecture / Computing / System software

Towards Trustworthy Computing Systems: Taking Microkernels to the Next Level Gernot Heiser∗ Kevin Elphinstone

Add to Reading List

Source URL: www.ok-labs.com

Language: English - Date: 2010-10-07 14:23:47
199Inter-process communication / Scheduling algorithms / Networks / Time-Triggered Protocol / Computer networks / Automation / CAN bus / Message queue / Real-time operating system / Computing / Technology / Concurrent computing

Bus Access Optimization for Distributed Embedded Systems Based on Schedulability Analysis Paul Pop, Petru Eles, Zebo Peng Dept. of Computer and Information Science, Linköping University, Sweden Abstract

Add to Reading List

Source URL: www.ida.liu.se

Language: English - Date: 2002-12-02 09:10:38
200Computer architecture / Scheduling / Windows Task Scheduler / Load / At / Time management / Completely Fair Scheduler / Real-time operating system / Scheduling algorithms / Computing / System software

A Real Time Scheduler/Dispatcher Roger B. Dannenberg Computer Science Department and Center for Art and Technology Carnegie Mellon University

Add to Reading List

Source URL: www.cs.cmu.edu

Language: English - Date: 1998-12-01 17:29:12
UPDATE